polynomial simplification